Computation of Fuzzy Truth Values for The Liar and Related Self-Referential Systems

نویسندگان

  • Athanasios Kehagias
  • K. Vezerides
چکیده

We study the Liar paradox and related systems of self-referential sentences. Specifically, we consider the problem of assigning consistent fuzzy truth values to systems of self-referential sentences. We show that this problem can be reduced to the solution of a system of nonlinear equations and we prove that, under certain conditions, a solution (i.e. a consistent truth value assignment) always exists. Furthermore, we show that, for the min/max implementation of logical “and” / “or” and the standard negation, the “mid-point” solution is always consistent.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences

We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be reduced to the solution of a system of nonlinear equations. Furthermore, we prove that, under mild conditions, such a system always has a solution (i.e. a consi...

متن کامل

On the use of fuzzy logic and learning automata optimization to resolve the Liar and related paradoxes

We show that logical paradoxes based on self-reference (of which the Liar is the best known example) are equivalent to the non-existence of solutions to a numerical system of equations, the so-called truth-value equations. Furthermore, we show that in many cases a self-referential system which does not posses a crisp (Boolean) solution can be solved by expanding the solution set to include fuzz...

متن کامل

Fuzzy Decisions in Modular Neural Networks

Modular neural networks structured as associative memories are capable of processing inputs built from tensorial products of vectors. In this context, the operators of propositional and modal logic can be represented as modular distributed memories that can process not only classical Boolean but also fuzzy evaluations of truth-values of sentences. Furthermore, projecting memory outputs onto uni...

متن کامل

Yablo’s Paradox and Kindred Infinite Liars

This is a defense and extension of Stephen Yablo’s claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form “None of these subsequent sentences are true” generates the same instability in assigning truth values. I argue Yablo’s technique of substituting infinity for self-reference applies to all so-called “self-referential” paradoxes...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Multiple-Valued Logic and Soft Computing

دوره 12  شماره 

صفحات  -

تاریخ انتشار 2006